Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
231	logical verificationexercises 2 Exercise 1. This exercise is concerned with dependent types. We use the following definition in Coq: Inductive natlist_dep : nat -> Set := \| nil_dep : natlist_dep 0 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-02 08:06:23 Logic Mathematical logic Mathematics Type theory Propositional calculus Syntax Predicate logic CurryHoward correspondence Dependent type Lambda calculus First-order logic Proposition
232	A Simple and General Theoretical Account for Abstract Types Hongwei Xi Boston University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-08-25 14:30:22 Software engineering Computer programming Declarative programming Type theory Functional programming Procedural programming languages Data types Object-oriented programming Monad ALGOL 68 Polymorphism Abstract type
233	417 Doc. Math. J. DMV Calabi-Yau Threefolds of Quasi-Product Type Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2014-07-13 07:29:17 Algebraic geometry Geometry Abstract algebra Algebraic surfaces Algebraic varieties String theory Complex manifolds K3 surface Abelian variety Algebraic curve Projective variety Elliptic surface
234	285 Doc. Math. J. DMV Presentations of Subshifts and Their Topologi al Conjuga y Invariants Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-07-15 07:20:44 Algebra Mathematics Linear algebra Matrix theory Combinatorics on words Symbolic dynamics Markov processes Subshift of finite type Matrix Eigenvalues and eigenvectors Shift space Spectrum
235	Typbasierte Programmtransformation Janis Voigtl¨ander Technische Universit¨ at Dresden 14. Juli 2009 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Data types Ordinal number Wellfoundedness Boolean data type Mathematical logic Computing Mathematics Type theory
236	Making Uniqueness Typing Less Unique Thesis submitted for the degree of Doctor in Philosophy December 14, 2008 Edsko Jacob Jelle de Vries Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Software engineering Theoretical computer science Mathematical logic Lambda calculus System F Type system Uniqueness type Functional programming Polymorphism Clean
237	UDC Magazine Submission Form A separate Submission Form must accompany each feature or ad submitted. Designate type of feature (Division or Chapter news, historical article. In Memoriam write-up, query, or ad) under D Add to Reading List Source URL: www.wddesigns.org Language: English - Date: 2015-04-03 10:08:24 Program analysis Type system Type theory
238	Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Recursion Type theory Computability theory Theoretical computer science Fold Algebraic data type Pattern matching Constraint logic programming
239	Modelling Unique and Affine Typing using Polymorphism Edsko de Vries Abstract. Uniqueness typing and affine (or linear) typing are dual type systems. Uniqueness gives a guarantee that an term has not been shared, Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Data types Software engineering Object-oriented programming Computing Polymorphism Functional programming Type system Subtyping Symbol Uniqueness type
240	Advances in Programming Languages APL12: Coursework Assignment, Review David Aspinall School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-17 17:51:35 Software engineering Computing Computer programming Functional languages Object-oriented programming languages Type theory Concurrent programming languages Programming paradigms Haskell Scala Mixin Concurrent computing

UPDATE